(DEFPROP ST
 (LAMBDA (F1) (CADR F1))
EXPR)

(DEFPROP DSK T LITERAL) 

(DEFPROP F11
 (LAMBDA (FILE) (CONS (QUOTE DSK) FILE))
EXPR)

(DEFPROP F12
 (LAMBDA (I) I)
EXPR)

(DEFPROP ST (3 NIL NIL 16 NIL NIL) NEXTALT) 

(LAP ST# SUBR) 
(CALL 1 (E DPNT)) 
(MOVEI 1 G0296) 
(HRRM 1 0 SSTACK) 
(CALL 0 (E F11#)) 
(CALL 1 (E NCONS)) 
(MOVEI 2 (QUOTE 1)) 
(JRST 0 G0295) 
G0296 
(MOVEI 1 G0300) 
(HRRM 1 0 SSTACK) 
(CALL 0 (E F12#)) 
(CALL 1 (E NCONS)) 
(MOVEI 2 (QUOTE 2)) 
(JRST 0 G0295) 
G0300 
(JCALL 0 (E END_OF_ALT)) 
G0295 
(CALL 2 (E XCONS)) 
(CALL 1 (E RDPNT)) 
(PUSH P 1) 
(MOVEI 1 (QUOTE ;)) 
(CALL 1 (E DCHKS)) 
(POP P 1) 
(JCALL 1 (E ST)) 
NIL 

(LAP F11# SUBR) 
(MOVEI 1 (QUOTE DSK)) 
(CALL 1 (E ICHKS)) 
(MOVEI 1 (QUOTE :)) 
(CALL 1 (E DCHKS)) 
(CALL 0 (E FILE#)) 
(PUSH P 1) 
(POP P 1) 
(JCALL 1 (E F11)) 
NIL 

(LAP F12# SUBR) 
(CALL 0 (E IDENTIFIER)) 
(JCALL 1 (E F12)) 
NIL